Uses of Class
edu.uky.ai.lp.logic.Negation

Packages that use Negation

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Negation in edu.uky.ai.lp.logic

Methods in edu.uky.ai.lp.logic that return Negation

Modifier and Type	Method	Description
Negation	Negation.substitute(Unifier unifier)